kind(${\it info}$;$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Case ${\it info}$($e$) of inl($p$) $\Rightarrow$ locl(2of($p$)) ; inr($q$) $\Rightarrow$ rcv(1of(1of($q$)),2of($q$))